Reports errors in trait implementation like "Missing members", "Unknown member", etc.
